Clausius Theorem